SATIrE within ALL-TIMES: Improving Timing Technology with Source Code Analysis
نویسنده
چکیده
We present the SATIrE source-to-source analysis framework within the context of ALL-TIMES, a European research and development project aimed at improving and integrating existing tools in the area of timing analysis. Within the project, SATIrE contributes by performing source-level static analysis on C programs and exporting its results for other tools to use. This work gives an overview of SATIrE and how its analyses may improve timing analysis results obtained by other tools. We discuss SATIrE’s efficient and powerful context-sensitive unification-based points-to analysis and its value interval analysis. We explain how SATIrE’s integration with other analysis tools handles issues such as combination of sourcelevel with binary-level analysis and communication of views of function call contexts between tools.
منابع مشابه
Source-Level Support for Timing Analysis
Timing analysis is an important prerequisite for the design of embedded real-time systems. In order to get tight and safe bounds for the timing of a program, precise information about its control flow and data flow is needed. While actual timings can only be derived from the machine code, many of the supporting analyses (deriving timing-relevant data such as points-to and loop bound information...
متن کاملTuBound - A Tool for Worst - Case Execution Time Analysis ∗
In this talk, we introduce TuBound, a tool to perform worst-case execution time (WCET) analysis. From the user’s perspective, TuBound is unique in that it operates on the source code level, which opens new possibilities for the usability and flexibility of the tool. In particular, TuBound supports high-level loop optimizations and the automatic analysis of loop bounds. The tool will be demonstr...
متن کاملSource-To-Source Analysis with SATIrE - an Example Revisited
Source-to-source analysis aims at supporting the reuse of analysis results similar to code reuse. The reuse of program code is a common technique which attempts to save time and costs by reducing redundant work. We want to avoid re-analyzing parts of a software system, such as library code. In the ideal case the analysis results are directly associated with the program itself. Source-to-source ...
متن کاملSupporting the specification and analysis of timing constraints
Real-time programmers have to deal with the problem of relating timing constraints associated with source code to sequences of machine instructions. This paper describes an environment to assist users in the specification and analysis of timing constraints. A user is allowed specify timing constraints within the source code of a C program. A user interface for a timing analyzer was developed to...
متن کاملImproving the combustion and emission characteristics of ISM 370 diesel engine by hydrogen addition and redesigning injection strategy
Hydrogen fuel is the cleanest fuel available. This fuel can be used as an additive in the diesel engine. Diesel engines have the advantages of strong power, high thermal efficiency and low fuel costs. There have been extensive studies on the use of hydrogen fuel in diesel engines in recent years. However, the simultaneous effect of using gaseous hydrogen fuel and changing injection strategy nee...
متن کامل